Plug computer

Results: 495



#Item
231Software / Frama-C / Cyclomatic complexity / Software quality / Abstract syntax tree / Function point / Software metrics / Software engineering / Computer programming

Metrics Frama-C’s metrics plug-in Sodium[removed]Richard Bonichon & Boris Yakobowski

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:41
232Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering

WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:42
233Portable software / Computer file formats / Markup languages / NetBeans / StarOffice / Plug-in / Sun Microsystems / Software / Computing / OpenOffice.org

. Goal of this document: Template for OpenOffice.org software specifications Intended readership: Specification authors, specification reviewers (Development, Quality Assurance, User Experience Documentation)

Add to Reading List

Source URL: www.openoffice.org

Language: English - Date: 2014-04-19 19:39:50
234RS-232 / Serial port / Hayes command set / Legacy Plug and Play / Modem / Plug and play / D-subminiature / Electrical connector / Computer hardware / Computer peripherals / Motherboard

Plug and Play External COM Device Specification Version 1.00 February 28, 1995

Add to Reading List

Source URL: www.osdever.net.

Language: English - Date: 2012-05-30 02:15:54
235Plug-in / Parallel computing / SPMD / Component-based software engineering / Distributed computing / Software / Computing / Application programming interfaces

A Parallel Plug-in Programming Paradigm? Ronald Baumann1,2 , Christian Engelmann1,2 , and Al Geist2 1 Department of Computer Science The University of Reading, Reading, RG6 6AH, UK

Add to Reading List

Source URL: www.csm.ornl.gov

Language: English - Date: 2009-07-03 20:22:56
236Software / Frama-C / Cyclomatic complexity / Software quality / Abstract syntax tree / Function point / Software metrics / Software engineering / Computer programming

Metrics Frama-C’s metrics plug-in Sodium[removed]Richard Bonichon & Boris Yakobowski

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:41
237Microsoft Windows / Jungo / INF file / Universal Serial Bus / Windows Vista / Device driver / Windows / Plug and play / Device file / Computer hardware / Computing / System software

WinDriver™ USB Quick-Start Guide - A 5-Minute Introduction to Writing USB Device Drivers

Add to Reading List

Source URL: www.jungo.com

Language: English - Date: 2015-04-12 08:37:58
238Technical communication / Eclipse / Application programming interfaces / Python / Java platform / Sonar / Javadoc / Java / Plug-in / Software / Computing / Computer programming

User-guide to docfacto Links 2.5.0 2 Contents

Add to Reading List

Source URL: docfacto.com

Language: English - Date: 2014-01-30 05:18:02
239Frama-C / Build automation / Compiling tools / Plug-in / C Intermediate Language / Make / Software / Computing / Computer programming

Developer Manual Plug-in Development Guide Release Sodium[removed]Julien Signoles with Loïc Correnson, Matthieu Lemerre and Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:41
240Computer programming / Static program analysis / Plug-in / ANSI/ISO C Specification Language / Software / Computing / Frama-C

E-ACSL User Manual E-ACSL Plug-in Release[removed]compatible with Frama-C

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2014-09-15 10:05:34
UPDATE